When changing frame sizes round before applying new sizes. (Bug#9723)
authormartin rudalics <rudalics@gmx.at>
Sat, 4 Feb 2012 11:29:29 +0000 (12:29 +0100)
committermartin rudalics <rudalics@gmx.at>
Sat, 4 Feb 2012 11:29:29 +0000 (12:29 +0100)
commit98d640ed214ff5bed1e42c21536e9a8aafcdb37f
tree591e88bc3f6dc5acd7254e994f9c04ed5df723f4
parent935f8d62906bfbbe930e15567f6d73ca91691dd0
When changing frame sizes round before applying new sizes.  (Bug#9723)

* dispnew.c (change_frame_size_1): Calculate new_frame_total_cols
after rounding frame sizes.  (Bug#9723)
src/ChangeLog
src/dispnew.c